Optimal. Leaf size=56 \[ \frac{1}{2} \text{PolyLog}\left (3,\frac{2}{b x}+1\right )-\tanh ^{-1}(b x+1) \text{PolyLog}\left (2,\frac{2}{b x}+1\right )-\log \left (-\frac{2}{b x}\right ) \tanh ^{-1}(b x+1)^2 \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.127996, antiderivative size = 56, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 5, integrand size = 12, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.417, Rules used = {6111, 5918, 5948, 6058, 6610} \[ \frac{1}{2} \text{PolyLog}\left (3,\frac{2}{b x}+1\right )-\tanh ^{-1}(b x+1) \text{PolyLog}\left (2,\frac{2}{b x}+1\right )-\log \left (-\frac{2}{b x}\right ) \tanh ^{-1}(b x+1)^2 \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6111
Rule 5918
Rule 5948
Rule 6058
Rule 6610
Rubi steps
\begin{align*} \int \frac{\tanh ^{-1}(1+b x)^2}{x} \, dx &=\frac{\operatorname{Subst}\left (\int \frac{\tanh ^{-1}(x)^2}{-\frac{1}{b}+\frac{x}{b}} \, dx,x,1+b x\right )}{b}\\ &=-\tanh ^{-1}(1+b x)^2 \log \left (-\frac{2}{b x}\right )+2 \operatorname{Subst}\left (\int \frac{\tanh ^{-1}(x) \log \left (\frac{2}{1-x}\right )}{1-x^2} \, dx,x,1+b x\right )\\ &=-\tanh ^{-1}(1+b x)^2 \log \left (-\frac{2}{b x}\right )-\tanh ^{-1}(1+b x) \text{Li}_2\left (1+\frac{2}{b x}\right )+\operatorname{Subst}\left (\int \frac{\text{Li}_2\left (1-\frac{2}{1-x}\right )}{1-x^2} \, dx,x,1+b x\right )\\ &=-\tanh ^{-1}(1+b x)^2 \log \left (-\frac{2}{b x}\right )-\tanh ^{-1}(1+b x) \text{Li}_2\left (1+\frac{2}{b x}\right )+\frac{1}{2} \text{Li}_3\left (1+\frac{2}{b x}\right )\\ \end{align*}
Mathematica [A] time = 0.0913508, size = 75, normalized size = 1.34 \[ \tanh ^{-1}(b x+1) \text{PolyLog}\left (2,-e^{-2 \tanh ^{-1}(b x+1)}\right )+\frac{1}{2} \text{PolyLog}\left (3,-e^{-2 \tanh ^{-1}(b x+1)}\right )-\frac{2}{3} \tanh ^{-1}(b x+1)^3-\tanh ^{-1}(b x+1)^2 \log \left (e^{-2 \tanh ^{-1}(b x+1)}+1\right ) \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.271, size = 160, normalized size = 2.9 \begin{align*} \ln \left ( bx \right ) \left ({\it Artanh} \left ( bx+1 \right ) \right ) ^{2}-{\it Artanh} \left ( bx+1 \right ){\it polylog} \left ( 2,-{\frac{ \left ( bx+2 \right ) ^{2}}{- \left ( bx+1 \right ) ^{2}+1}} \right ) +{\frac{1}{2}{\it polylog} \left ( 3,-{\frac{ \left ( bx+2 \right ) ^{2}}{- \left ( bx+1 \right ) ^{2}+1}} \right ) }- \left ( i\pi \, \left ({\it csgn} \left ({i \left ({\frac{ \left ( bx+2 \right ) ^{2}}{- \left ( bx+1 \right ) ^{2}+1}}+1 \right ) ^{-1}} \right ) \right ) ^{3}-i\pi \, \left ({\it csgn} \left ({i \left ({\frac{ \left ( bx+2 \right ) ^{2}}{- \left ( bx+1 \right ) ^{2}+1}}+1 \right ) ^{-1}} \right ) \right ) ^{2}+i\pi +\ln \left ( 2 \right ) \right ) \left ({\it Artanh} \left ( bx+1 \right ) \right ) ^{2} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \frac{1}{12} \, \log \left (-b x\right )^{3} + \frac{1}{4} \, \log \left (b x + 2\right )^{2} \log \left (-x\right ) - \frac{1}{4} \, \int \frac{2 \,{\left (b x \log \left (b\right ) + 2 \,{\left (b x + 1\right )} \log \left (-x\right ) + 2 \, \log \left (b\right )\right )} \log \left (b x + 2\right )}{b x^{2} + 2 \, x}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\frac{\operatorname{artanh}\left (b x + 1\right )^{2}}{x}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\operatorname{atanh}^{2}{\left (b x + 1 \right )}}{x}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\operatorname{artanh}\left (b x + 1\right )^{2}}{x}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]